ok(X,Y) :- between(200,500,X), between(100,300,Y).

run(X,Y) :- (ok(X,Y) -> print(user_output, 'true.\n'); print(user_output, 'fail.\n')).
